The 1st Verified Software Competition: Experience Report
نویسندگان
چکیده
We, the organizers and participants, report our experiences from the 1st Verified Software Competition, held in August 2010 in Edinburgh at the VSTTE 2010 conference.
منابع مشابه
The 1st Verified Software Competition: Extended Experience Report
We, the organizers and participants, report our experiences from the 1st Verified Software Competition, held in August 2010 in Edinburgh at the VSTTE 2010 conference.
متن کاملThe 2nd Verified Software Competition: Experience Report
We report on the second verified software competition. It was organized by the three authors on a 48 hours period on November 8–10, 2011. This paper describes the competition, presents the five problems that were proposed to the participants, and gives an overview of the solutions sent by the 29 teams that entered the competition.
متن کاملCompetition on Software Verification - (SV-COMP)
This report describes the definitions, rules, setup, procedure, and results of the 1st International Competition on Software Verification. The verification community has performed competitions in various areas in the past, and SV-COMP’12 is the first competition of verification tools that take software programs as input and run a fully automatic verification of a given safety property. This yea...
متن کاملExperience on Running a Small-Size Simulated Car Racing Tournament in an Introductory Programming Course
This paper reports short-term experience on running a small-size car racing tournament in “Programming C Language class” for freshmen. It was based on Computational Intelligence and Games (CIG) 2009 Car Racing Competition software and rules with small modifications. Five students were involved in this small competition and they built their own controllers during this course. Although they don’t...
متن کاملAustin Villa 2010 Standard Platform Team Report
In 2008, UT Austin Villa entered a team in the first Nao competition of the Standard Platform League of the RoboCup competition. The team had previous experience in RoboCup in the Aibo leagues. Using this past experience, the team developed an entirely new codebase for the Nao. In 2009, UT Austin combined forces with Texas Tech University, to form TT-UT Austin Villa. Austin Villa won the 2009 U...
متن کامل